intro to type promotion